Міністерство освіти і науки України Вінницький національний технічний університет Кафедра КН Лабораторна робота №4 з дисципліни «Дискретна математика» Тема: «Розробка алгоритму і програми мінімізації функцій алгебри логіки методом Квайна» Виконали: студенти групи 2КН – 15б Ільченко О.В. Ваховський В.М. Перевірила: Ваховська Л. М. Вінниця 2016 Мета роботи: Набути навиків мінімізації логічних функцій методом Квайна. Завдання: розробити алгоритм та програму для мінімізації логічної функції, задану у вигляді. Продемонструвати роботу програми на прикладі. 3. Завдання для виконання Варіант 41 V=(0,1,3,4,5,7,8,9,13) Варіант 37 V=(2,4,5,8,9,11,12,13) Схема алгоритму
Рисунок 1 – Блок-схема програми мінімізації функції алгебри логіки Результати роботи: Варіант 41 / Рисунок 3 – Результат роботи програми мінімізації функції алгебри логіки Варіант 37 / Рисунок 4 – Результат роботи програми мінімізації функції алгебри логіки Висновок Під час виконання лабораторної роботи було розроблено алгоритм застосування методу мінімізації функції алгебри логіки. Було розроблено програму для знаходження мінімізації функції алгебри логіки в якій було знайдено ДДНФ, скорочену та мінімальну форми функції. Додаток 1. Інструкція користувача Для запуску програми мінімізації функції необхідно запустити файл MininizationFAL.exe. Ввести вектор або функцію. Натиснути на кнопку «Минимизировать» для виконання пошуку мінімальної форми. Програма виведе ДДНФ, скорочену і мінімальну форми . Додаток 2. Лістинги програми //--------------------------------------------------------------------------- #include "Unit1.h" //--------------------------------------------------------------------------- #pragma package(smart_init) #pragma resource "*.dfm" TForm1 *Form1; //--------------------------------------------------------------------------- #include <stdio.h> #include <stdlib.h> #include <iostream> #include <string.h> #include <math.h> #include <vcl.h> #pragma hdrstop //~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ class minterm { public: int a[4]; int size; minterm(){ size=0; } minterm(int A,int B,int C,int D){ size=4; a[0]=A; a[1]=B; a[2]=C; a[3]=D; } void fill(int A,int B,int C,int D){ a[0]=A; a[1]=B; a[2]=C; a[3]=D; } bool operator == (const minterm &m){ for(int i=0;i<size;i++){ if(a[i]!=m.a[i]) return 0; } return 1; } bool operator != (const minterm &m){ for(int i=0;i<size;i++){ if(a[i]!=m.a[i]) return 1; } return 0; } bool not_void(){ for(int i=0;i<size;i++){ if(a[i]!=-1) return 1; } return 0; } bool include(const minterm &m) { for(int k=0;k<4;k++) { if(m.a[k]!=-1 && a[k]!=m.a[k]) return 0; } return 1; } int count_1() { int c=0; for(int i=0;i<4;i++) if(a[i]==1) c++; return c; } bool positions_coincide(const minterm &m) { for(int i=0;i<4;i++) if(a[i]==-1 && a[i]!=m.a[i]) return 0; return 1; } bool can_be_united(const minterm &m) { for(int k=0;k<4;k++) { if(a[k]!=m.a[k]) { for(int i=k+1;i<4 && k<3;i++) if(a[i]!=m.a[i]) return false; return true; } } return true; } void glue(const minterm &m) { for(int k=0;k<4;k++) { if(a[k]!=m.a[k]) { for(int i=k+1;i<4 && k<3;i++) if(a[i]!=m.a[i]) return; a[k]=-1; return; } } } AnsiString print(){ AnsiString s; if(!(a[0]==-1 && a[1]==-1 && a[2]==-1 && a[3]==-1)){ if(a[0]==1) s=s+"A"; if(a[0]==0) s=s+"!A"; if(a[1]==1) s=s+"B"; if(a[1]==0) s=s+"!B"; if(a[2]==1) s=s+"C"; if(a[2]==0) s=s+"!C"; if(a[3]==1) s=s+"D"; if(a[3]==0) s=s+"!D"; } return s; } }; //-----------------------------------------------------------------------...